ML-Tuned Constraint Grammars Eckhard Bick Institute of Language and Communication University of Southern Denmark, Odense

Source URL: visl.sdu.dk

• Formal languages
• Grammar
• Cognition
• Cognitive science
• Constraint Grammar
• Parsing
• Formal grammar
• LL grammar
• Linguistics

"Shape Grammars and the Generative Specification of Painting and Sculpture" by George Stiny and James Gips. Presented at IFIP Congress 71 in Ljubljana, Yugoslavia. Selected as the Best Submitted Paper. (IFIP stands for I

Source URL: www.shapegrammar.org

• Formal languages
• Academia
• Syntax
• Grammar
• Architectural theory
• Shape grammar
• Cognitive science
• Natural language processing
• George Stiny
• Formal grammar
• Phrase structure grammar
• Shape

Regular Expressions and Finite-State Automata Motivation

Source URL: cl.indiana.edu

• Formal languages
• Finite automata
• Mathematics
• Combinatorics
• Pattern matching
• Regular expression
• Finite-state machine
• Discrete mathematics
• Regular language
• Expression

Towards more complex grammar systems Some basic formal language theory

Source URL: cl.indiana.edu

• Formal languages
• Grammar
• Cognitive science
• Language
• Context-sensitive grammar
• Context-free grammar
• Regular language
• Formal grammar
• Context-free language
• Linear grammar
• Chomsky hierarchy
• Indexed grammar

Die Ikonizität der Peirceschen Existentiellen Graphen aus der Sicht der Formalen Logik Frithjof Dau, SAP Research CEC Dresden, Germany Summary: Due to the rise of formal, visual languages, researchers from mathematics a

Source URL: www.dr-dau.net

User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm

Source URL: matita.cs.unibo.it

• Automated theorem proving
• Software
• Theoretical computer science
• Proof assistants
• Functional languages
• Type theory
• Matita
• Formal methods
• Calculus of constructions
• Mathematical proof
• Automated reasoning
• Theorem

DANSE: Engineering Diffraction Ersan Üstündag Iowa State University

Source URL: www.cacr.caltech.edu

• Constitutive equation
• Elasticity
• Abaqus
• Formal languages

Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc

Source URL: stephenbach.net

• Logic
• Mathematical logic
• Abstraction
• Quantification
• Predicate logic
• Model theory
• Semantics
• Formal languages
• Quantifier
• First-order logic
• Constructible universe
• Universal quantification

Robotics: Science and Systems, JuneThe Motion Grammar: Linguistic Perception, Planning, and Control Neil Dantam and Mike Stilman School of Interactive Computing, Center fo

Source URL: www.neil.dantam.name

• Software engineering
• Parsing algorithms
• Formal languages
• Compiler construction
• Programming language implementation
• Software
• Context-free grammar
• Syntax
• Parsing
• Formal grammar
• Recursive descent parser
• Compiler-compiler

A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook

Source URL: bsd7.cs.sunysb.edu

• Mathematics
• Logic
• Mathematical logic
• Boolean algebra
• Formal languages
• Model theory
• Binary decision diagram
• Model checking
• IP
• Boolean satisfiability problem
• Constructible universe
• Well-formed formula